es{-}dstate(${\it es}$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$if es{-}isconst(${\it es}$;$i$;$x$) then es{-}vartype(${\it es}$; $i$; $x$) else Top fi